Formalization of Counterfactual Inference by Dynamic Logic
نویسندگان
چکیده
منابع مشابه
A Formalization of Objects Using Equational Dynamic Logic
Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models...
متن کاملLearning Representations for Counterfactual Inference
Observational studies are rising in importance due to the widespread accumulation of data in fields such as healthcare, education, employment and ecology. We consider the task of answering counterfactual questions such as, “Would this patient have lower blood sugar had she received a different medication?”. We propose a new algorithmic framework for counterfactual inference which brings togethe...
متن کاملObligations with deadlines: a formalization in Dynamic Deontic Logic
Segerberg’s Dynamic Deontic Logic is a dynamic logic where among the set of all possible histories those fulfilling the norms are distinguished. An extension of this logic to obligations (respectively permissions and prohibitions) to do an action before a given deadline or during a given time interval is defined. These temporal constraints are defined by events which may have several occurrence...
متن کاملUncertainty in Causal and Counterfactual Inference
We report 4 studies which show that there are systematic quantitative patterns in the way we reason with uncertainty during causal and counterfactual inference. Two specific type of uncertainty uncertainty about facts and about causal relations are explored, and used to model peoples causal inferences (Studies 1-3). We then consider the relationship between causal and counterfactual reason...
متن کاملInformative Subspace Learning for Counterfactual Inference
Inferring causal relations from observational data is widely used for knowledge discovery in healthcare and economics. To investigate whether a treatment can affect an outcome of interest, we focus on answering counterfactual questions of this type: what would a patient’s blood pressure be had he/she recieved a different treatment? Nearest neighbor matching (NNM) sets the counterfactual outcome...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kagaku tetsugaku
سال: 2012
ISSN: 0289-3428,1883-6461
DOI: 10.4216/jpssj.45.17